package edu.map.aamas.gui.docking;

import javax.swing.JTabbedPane;
import javax.swing.border.Border;

import org.flexdock.docking.DockingManager;
import org.flexdock.docking.DockingPort;
import org.flexdock.docking.defaults.DefaultDockingPort;
import org.flexdock.docking.defaults.DefaultDockingStrategy;
import org.flexdock.docking.defaults.StandardBorderManager;
import org.flexdock.plaf.common.border.ShadowBorder;

public class MyDockingPort extends DefaultDockingPort
{

	private static final long serialVersionUID = 1L;

	static
	{
		initStatic();
	}

	private static void initStatic()
	{
		DockingManager.setDockingStrategy(MyDockingPort.class, new MyDockingStrategy());
	}

	public MyDockingPort()
	{
		this(new ShadowBorder());
	}

	public MyDockingPort(Border portletBorder)
	{
		super();
		if (portletBorder != null)
		{
			setBorderManager(new StandardBorderManager(portletBorder));
		}
	}

	protected JTabbedPane createTabbedPane()
	{
		JTabbedPane tabbed = super.createTabbedPane();
		tabbed.putClientProperty("jgoodies.embeddedTabs", Boolean.TRUE);
		return tabbed;
	}

	// ***************

	private static class MyDockingStrategy extends DefaultDockingStrategy
	{
		protected DockingPort createDockingPortImpl(DockingPort base)
		{
			return new MyDockingPort();
		}


	}

}